Section: Dissemination

Reviews

• Bruno Barras has served as reviewer for the LICS 2011, CSL 2011 and TLCA 2011 international conferences.

• Bruno Barras has served as reviewer for the Logical Methods in Computer Sciences journal.

• Germain Faure has served as reviewer for the STACS11 international conference.

• Assia Mahboubi has served as reviewer for the international conferences ISSAC 2011, CAI 2011, Cicm/Calculemus 2011, ITP 2011.

• Assia Mahboubi has served as referee for the Journal of Automated Reasoning.